Karush-Kuhn-Tucker condition